ordered clause
英 [ˈɔːdəd klɔːz]
美 [ˈɔːrdərd klɔːz]
有序子句
双语例句
- The present paper represents the ordered factor of a ordered clause defined anew, and a proof of the lifting lemma under the new definition. Then the completeness of the method of OL resolution with multi-factor is obtained theoretically.
本文重新定义了有序子句的有序因子，证明了在这种有序因子定义下的提升引理，进而在理论上得到了多重取因子的线性序归结方法的完备性。